JI, Yiding - HKUST Class Schedule & Quota

Class Schedule & Quota
2024-25 Fall 2023-24 Summer 2023-24 Spring 2021-22 Winter
2023-24 Spring
Common Core Course
The class information on this page will normally be updated every 15 to 20 minutes during class enrollment period.
» Student Information System (SIS)» PG Program/Course Catalog
Notes & Links
This service was first adapted from a student contribution in 2011-12 Fall. The efforts of all concerned are duly acknowledged.

AIAA AMAT BSBE CMAA DLED DSAA EOAS FTEC FUNH INFH INTR IOTA IPEN LANG MICS PDEV ROAS SEEN SMMG SOCH SYSH UCMP UCUG UFUG UGOD

COURSE INFO

VECTOR	[3-0-0:3]
DESCRIPTION	This course introduces fundamental theories in formal methods, and how to integrate formal methods, control theory, and artificial intelligence (AI) to develop autonomous, reactive, and trustworthy robotic systems. Formal methods are concerned with generating precise, non-ambiguous task specifications or constraints that an autonomous agent (not limited to robots) is expected to satisfy. The major three topics covered in the course are formal specification, formal verification and formal synthesis. The first part includes automata theory and temporal logics, which provide a mathematical paradigm to characterize tasks of autonomous systems. The second part is mostly concerned with probabilistic planning, model-based and model-free reinforcement learning methods with formal specifications, as well as game-theoretic planning in sequential decision making. The third part introduces bisimulation and abstraction-based methods, reachability analysis and safety verification for continuous dynamical systems, and game-theoretic control design for games.

VECTOR

[3-0-0:3]

DESCRIPTION

This course introduces fundamental theories in formal methods, and how to integrate formal methods, control theory, and artificial intelligence (AI) to develop autonomous, reactive, and trustworthy robotic systems. Formal methods are concerned with generating precise, non-ambiguous task specifications or constraints that an autonomous agent (not limited to robots) is expected to satisfy. The major three topics covered in the course are formal specification, formal verification and formal synthesis. The first part includes automata theory and temporal logics, which provide a mathematical paradigm to characterize tasks of autonomous systems. The second part is mostly concerned with probabilistic planning, model-based and model-free reinforcement learning methods with formal specifications, as well as game-theoretic planning in sequential decision making. The third part introduces bisimulation and abstraction-based methods, reachability analysis and safety verification for continuous dynamical systems, and game-theoretic control design for games.

ROAS 6000F - Introduction to Formal Methods (3 units)

Section	Date & Time	Room	Instructor	Quota	Enrol	Avail	Wait	Remarks
L01 (6127)	22-JAN-2024 - 14-MAR-2024 TuTh 10:30AM - 11:50AM	Rm 147, E1	JI, Yiding	30	8	22	0
L01 (6127)	15-MAR-2024 - 10-MAY-2024 TuTh 10:30AM - 11:50AM	Rm 201, E4	JI, Yiding	30	8	22	0

COURSE INFO

VECTOR	[0-1-0:0]
DESCRIPTION	Seminar topics presented by students, faculty and guest speakers. Students are expected to attend regularly and demonstrate proficiency in presentation in accordance with the program requirements. Graded P or F.

ROAS 6800F - Seminar in Robotics and Autonomous Systems (0 units)

Section	Date & Time	Room	Instructor	Quota	Enrol	Avail	Wait	Remarks
T01 (6191)	Tu 03:00PM - 03:50PM	Rm 101, W1	JI, Yiding	85	72	13	0